n (algebra) A member of a structure which, when applied to any other element via a binary operation induces an identity mapping; more specifically, given an operation *, an element I is